home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
sm32a.zip
/
KEYWORD
/
ASSUME.KEY
< prev
next >
Wrap
Text File
|
1993-11-07
|
618b
|
11 lines
* assume external
assume(x > 1) assumes the variable x > 1 in real domain.
By default, |x| < inf and all variables are complex, except that
variables in inequalities are real, as usual only real numbers can be
compared. e.g. x is complex in sin(x), but y is real in y > 1.
You can restrict the domain of a variable by assuming the variable
is even, odd, integer, real number, positive or negative.
The assume() can be cleared by clear().
See aslo: sign, isodd, iseven, isinteger, isreal, isnumber, clear.
e.g. assume(x>0), assume(x>0, y<0), iseven(x):=1